Optimal. Leaf size=129 \[ -\frac {8 b^3 (d+e x)^{15/2} (b d-a e)}{15 e^5}+\frac {12 b^2 (d+e x)^{13/2} (b d-a e)^2}{13 e^5}-\frac {8 b (d+e x)^{11/2} (b d-a e)^3}{11 e^5}+\frac {2 (d+e x)^{9/2} (b d-a e)^4}{9 e^5}+\frac {2 b^4 (d+e x)^{17/2}}{17 e^5} \]
________________________________________________________________________________________
Rubi [A] time = 0.07, antiderivative size = 129, normalized size of antiderivative = 1.00, number of steps used = 3, number of rules used = 2, integrand size = 28, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.071, Rules used = {27, 43} \begin {gather*} -\frac {8 b^3 (d+e x)^{15/2} (b d-a e)}{15 e^5}+\frac {12 b^2 (d+e x)^{13/2} (b d-a e)^2}{13 e^5}-\frac {8 b (d+e x)^{11/2} (b d-a e)^3}{11 e^5}+\frac {2 (d+e x)^{9/2} (b d-a e)^4}{9 e^5}+\frac {2 b^4 (d+e x)^{17/2}}{17 e^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 27
Rule 43
Rubi steps
\begin {align*} \int (d+e x)^{7/2} \left (a^2+2 a b x+b^2 x^2\right )^2 \, dx &=\int (a+b x)^4 (d+e x)^{7/2} \, dx\\ &=\int \left (\frac {(-b d+a e)^4 (d+e x)^{7/2}}{e^4}-\frac {4 b (b d-a e)^3 (d+e x)^{9/2}}{e^4}+\frac {6 b^2 (b d-a e)^2 (d+e x)^{11/2}}{e^4}-\frac {4 b^3 (b d-a e) (d+e x)^{13/2}}{e^4}+\frac {b^4 (d+e x)^{15/2}}{e^4}\right ) \, dx\\ &=\frac {2 (b d-a e)^4 (d+e x)^{9/2}}{9 e^5}-\frac {8 b (b d-a e)^3 (d+e x)^{11/2}}{11 e^5}+\frac {12 b^2 (b d-a e)^2 (d+e x)^{13/2}}{13 e^5}-\frac {8 b^3 (b d-a e) (d+e x)^{15/2}}{15 e^5}+\frac {2 b^4 (d+e x)^{17/2}}{17 e^5}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.12, size = 101, normalized size = 0.78 \begin {gather*} \frac {2 (d+e x)^{9/2} \left (-29172 b^3 (d+e x)^3 (b d-a e)+50490 b^2 (d+e x)^2 (b d-a e)^2-39780 b (d+e x) (b d-a e)^3+12155 (b d-a e)^4+6435 b^4 (d+e x)^4\right )}{109395 e^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
IntegrateAlgebraic [A] time = 0.09, size = 213, normalized size = 1.65 \begin {gather*} \frac {2 (d+e x)^{9/2} \left (12155 a^4 e^4+39780 a^3 b e^3 (d+e x)-48620 a^3 b d e^3+72930 a^2 b^2 d^2 e^2+50490 a^2 b^2 e^2 (d+e x)^2-119340 a^2 b^2 d e^2 (d+e x)-48620 a b^3 d^3 e+119340 a b^3 d^2 e (d+e x)+29172 a b^3 e (d+e x)^3-100980 a b^3 d e (d+e x)^2+12155 b^4 d^4-39780 b^4 d^3 (d+e x)+50490 b^4 d^2 (d+e x)^2+6435 b^4 (d+e x)^4-29172 b^4 d (d+e x)^3\right )}{109395 e^5} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [B] time = 0.40, size = 444, normalized size = 3.44 \begin {gather*} \frac {2 \, {\left (6435 \, b^{4} e^{8} x^{8} + 128 \, b^{4} d^{8} - 1088 \, a b^{3} d^{7} e + 4080 \, a^{2} b^{2} d^{6} e^{2} - 8840 \, a^{3} b d^{5} e^{3} + 12155 \, a^{4} d^{4} e^{4} + 1716 \, {\left (13 \, b^{4} d e^{7} + 17 \, a b^{3} e^{8}\right )} x^{7} + 66 \, {\left (401 \, b^{4} d^{2} e^{6} + 1564 \, a b^{3} d e^{7} + 765 \, a^{2} b^{2} e^{8}\right )} x^{6} + 36 \, {\left (303 \, b^{4} d^{3} e^{5} + 3502 \, a b^{3} d^{2} e^{6} + 5100 \, a^{2} b^{2} d e^{7} + 1105 \, a^{3} b e^{8}\right )} x^{5} + 5 \, {\left (7 \, b^{4} d^{4} e^{4} + 10880 \, a b^{3} d^{3} e^{5} + 46716 \, a^{2} b^{2} d^{2} e^{6} + 30056 \, a^{3} b d e^{7} + 2431 \, a^{4} e^{8}\right )} x^{4} - 20 \, {\left (2 \, b^{4} d^{5} e^{3} - 17 \, a b^{3} d^{4} e^{4} - 5406 \, a^{2} b^{2} d^{3} e^{5} - 10166 \, a^{3} b d^{2} e^{6} - 2431 \, a^{4} d e^{7}\right )} x^{3} + 6 \, {\left (8 \, b^{4} d^{6} e^{2} - 68 \, a b^{3} d^{5} e^{3} + 255 \, a^{2} b^{2} d^{4} e^{4} + 17680 \, a^{3} b d^{3} e^{5} + 12155 \, a^{4} d^{2} e^{6}\right )} x^{2} - 4 \, {\left (16 \, b^{4} d^{7} e - 136 \, a b^{3} d^{6} e^{2} + 510 \, a^{2} b^{2} d^{5} e^{3} - 1105 \, a^{3} b d^{4} e^{4} - 12155 \, a^{4} d^{3} e^{5}\right )} x\right )} \sqrt {e x + d}}{109395 \, e^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [B] time = 0.30, size = 1765, normalized size = 13.68
result too large to display
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.05, size = 186, normalized size = 1.44 \begin {gather*} \frac {2 \left (e x +d \right )^{\frac {9}{2}} \left (6435 b^{4} e^{4} x^{4}+29172 a \,b^{3} e^{4} x^{3}-3432 b^{4} d \,e^{3} x^{3}+50490 a^{2} b^{2} e^{4} x^{2}-13464 a \,b^{3} d \,e^{3} x^{2}+1584 b^{4} d^{2} e^{2} x^{2}+39780 a^{3} b \,e^{4} x -18360 a^{2} b^{2} d \,e^{3} x +4896 a \,b^{3} d^{2} e^{2} x -576 b^{4} d^{3} e x +12155 a^{4} e^{4}-8840 a^{3} b d \,e^{3}+4080 a^{2} b^{2} d^{2} e^{2}-1088 a \,b^{3} d^{3} e +128 b^{4} d^{4}\right )}{109395 e^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [A] time = 1.06, size = 181, normalized size = 1.40 \begin {gather*} \frac {2 \, {\left (6435 \, {\left (e x + d\right )}^{\frac {17}{2}} b^{4} - 29172 \, {\left (b^{4} d - a b^{3} e\right )} {\left (e x + d\right )}^{\frac {15}{2}} + 50490 \, {\left (b^{4} d^{2} - 2 \, a b^{3} d e + a^{2} b^{2} e^{2}\right )} {\left (e x + d\right )}^{\frac {13}{2}} - 39780 \, {\left (b^{4} d^{3} - 3 \, a b^{3} d^{2} e + 3 \, a^{2} b^{2} d e^{2} - a^{3} b e^{3}\right )} {\left (e x + d\right )}^{\frac {11}{2}} + 12155 \, {\left (b^{4} d^{4} - 4 \, a b^{3} d^{3} e + 6 \, a^{2} b^{2} d^{2} e^{2} - 4 \, a^{3} b d e^{3} + a^{4} e^{4}\right )} {\left (e x + d\right )}^{\frac {9}{2}}\right )}}{109395 \, e^{5}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.06, size = 112, normalized size = 0.87 \begin {gather*} \frac {2\,b^4\,{\left (d+e\,x\right )}^{17/2}}{17\,e^5}-\frac {\left (8\,b^4\,d-8\,a\,b^3\,e\right )\,{\left (d+e\,x\right )}^{15/2}}{15\,e^5}+\frac {2\,{\left (a\,e-b\,d\right )}^4\,{\left (d+e\,x\right )}^{9/2}}{9\,e^5}+\frac {12\,b^2\,{\left (a\,e-b\,d\right )}^2\,{\left (d+e\,x\right )}^{13/2}}{13\,e^5}+\frac {8\,b\,{\left (a\,e-b\,d\right )}^3\,{\left (d+e\,x\right )}^{11/2}}{11\,e^5} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [A] time = 14.07, size = 903, normalized size = 7.00 \begin {gather*} \begin {cases} \frac {2 a^{4} d^{4} \sqrt {d + e x}}{9 e} + \frac {8 a^{4} d^{3} x \sqrt {d + e x}}{9} + \frac {4 a^{4} d^{2} e x^{2} \sqrt {d + e x}}{3} + \frac {8 a^{4} d e^{2} x^{3} \sqrt {d + e x}}{9} + \frac {2 a^{4} e^{3} x^{4} \sqrt {d + e x}}{9} - \frac {16 a^{3} b d^{5} \sqrt {d + e x}}{99 e^{2}} + \frac {8 a^{3} b d^{4} x \sqrt {d + e x}}{99 e} + \frac {64 a^{3} b d^{3} x^{2} \sqrt {d + e x}}{33} + \frac {368 a^{3} b d^{2} e x^{3} \sqrt {d + e x}}{99} + \frac {272 a^{3} b d e^{2} x^{4} \sqrt {d + e x}}{99} + \frac {8 a^{3} b e^{3} x^{5} \sqrt {d + e x}}{11} + \frac {32 a^{2} b^{2} d^{6} \sqrt {d + e x}}{429 e^{3}} - \frac {16 a^{2} b^{2} d^{5} x \sqrt {d + e x}}{429 e^{2}} + \frac {4 a^{2} b^{2} d^{4} x^{2} \sqrt {d + e x}}{143 e} + \frac {848 a^{2} b^{2} d^{3} x^{3} \sqrt {d + e x}}{429} + \frac {1832 a^{2} b^{2} d^{2} e x^{4} \sqrt {d + e x}}{429} + \frac {480 a^{2} b^{2} d e^{2} x^{5} \sqrt {d + e x}}{143} + \frac {12 a^{2} b^{2} e^{3} x^{6} \sqrt {d + e x}}{13} - \frac {128 a b^{3} d^{7} \sqrt {d + e x}}{6435 e^{4}} + \frac {64 a b^{3} d^{6} x \sqrt {d + e x}}{6435 e^{3}} - \frac {16 a b^{3} d^{5} x^{2} \sqrt {d + e x}}{2145 e^{2}} + \frac {8 a b^{3} d^{4} x^{3} \sqrt {d + e x}}{1287 e} + \frac {1280 a b^{3} d^{3} x^{4} \sqrt {d + e x}}{1287} + \frac {1648 a b^{3} d^{2} e x^{5} \sqrt {d + e x}}{715} + \frac {368 a b^{3} d e^{2} x^{6} \sqrt {d + e x}}{195} + \frac {8 a b^{3} e^{3} x^{7} \sqrt {d + e x}}{15} + \frac {256 b^{4} d^{8} \sqrt {d + e x}}{109395 e^{5}} - \frac {128 b^{4} d^{7} x \sqrt {d + e x}}{109395 e^{4}} + \frac {32 b^{4} d^{6} x^{2} \sqrt {d + e x}}{36465 e^{3}} - \frac {16 b^{4} d^{5} x^{3} \sqrt {d + e x}}{21879 e^{2}} + \frac {14 b^{4} d^{4} x^{4} \sqrt {d + e x}}{21879 e} + \frac {2424 b^{4} d^{3} x^{5} \sqrt {d + e x}}{12155} + \frac {1604 b^{4} d^{2} e x^{6} \sqrt {d + e x}}{3315} + \frac {104 b^{4} d e^{2} x^{7} \sqrt {d + e x}}{255} + \frac {2 b^{4} e^{3} x^{8} \sqrt {d + e x}}{17} & \text {for}\: e \neq 0 \\d^{\frac {7}{2}} \left (a^{4} x + 2 a^{3} b x^{2} + 2 a^{2} b^{2} x^{3} + a b^{3} x^{4} + \frac {b^{4} x^{5}}{5}\right ) & \text {otherwise} \end {cases} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________